Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

Source URL: web.student.chalmers.se

Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions David Scott Richard Sharp

Source URL: dave.recoil.org

Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Abstract. The Hindley/Milner type sys

Source URL: web.cecs.pdx.edu

Under consideration for publication in J. Functional Programming 1 Flexible Dynamic Information Flow Control in the Presence of Exceptions

Source URL: www.scs.stanford.edu

CLOS: Integrating Object-Oriented and Functional Programming Richard P. Gabriel Lucid, Inc. Jon L White

Source URL: www.dreamsongs.com

Sound and Soundness Practical Total Functional Data-Flow Programming Baltasar Trancón y Widemann12 1

Source URL: functional-art.org

• Software engineering
• Computing
• Theoretical computer science
• Programming paradigms
• Logic in computer science
• Formal methods
• Notation
• Programming language
• Semantics
• Declarative programming
• Functional programming
• Widemann

Computation by Interaction for Space-Bounded Functional Programming Ugo Dal Lagoa , Ulrich Sch¨oppb a Universit` a di Bologna, Italy and INRIA, France

Source URL: www2.tcs.ifi.lmu.de

Juniper: A Functional Reactive Programming Language for the Arduino Hands-on Sound Visualization Project Please go to http://www.juniper-lang.org/

Source URL: functional-art.org

Richard Bird Philip Wadler Introduction to Functional Programming

Source URL: usi-pl.github.io

Juniper: A Functional Reactive Programming Language for the Arduino Caleb Helbling Tufts University Samuel Z. Guyer

Source URL: functional-art.org